/**
 * Framework Tec - Interface Bus
 *
 * @author Abdessamad HAILASS
 * @since 2011
 **/

package tec;

class TestEtatPassager {
	// Permet de lancer l'exécution de la suite des tests.
	protected static void lancer () {
		System.out.print ("Tests EtatPassager ");
		
		TestEtatPassager.testExterieur ();
		System.out.print (".");
		
		TestEtatPassager.testAssis ();
		System.out.print (".");
		
		TestEtatPassager.testDebout ();
		System.out.print (".");
		
		TestEtatPassager.testInterieur ();
		System.out.print (".");
		
		System.out.print (" [OK]\n");
	}

	// Etat assis après instanciation.
	// A vérifier :
	// * estExterieur() retourne faux.
	protected static void testAssis () {
		EtatPassager etat = EtatPassager.Assis ();
		assert ! etat.estExterieur();
		assert   etat.estInterieur();
		assert   etat.estAssis();
		assert ! etat.estDebout();
	}

    // Etat debout après instanciation.
    // A vérifier :
	// * estExterieur() retourne faux.
	protected static void testDebout () {
		EtatPassager etat = EtatPassager.Debout ();
		assert ! etat.estExterieur();
		assert   etat.estInterieur();
		assert ! etat.estAssis();
		assert   etat.estDebout();
	}

	// Etat dehors après instanciation.
	protected static void testExterieur () {
		EtatPassager etat = EtatPassager.Dehors ();
		assert   etat.estExterieur();
		assert ! etat.estInterieur();
		assert ! etat.estAssis();
		assert ! etat.estDebout();
	}

	// Etat interieur après instanciation Instanciation avec ASSIS.
	// A vérifier :
	// * estInterieur() retourne vrai.
	protected static void testInterieur () {
		testAssis ();
		testDebout ();
	}
}

